<?php

class ToolDBException extends ToolbaseException {
}
